Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
I wonder if you would take a look at the old library
我不知道你是否可以看一看旧图书馆
A crown is no cure for the headache.
王冠难治头痛。
If we go downhill, we might find a stream, and if we follow the stream we should reach a farm, or a village or a bridge.
“如果我们走下山，我们可能会发现一条小溪，如果我们沿着小溪走，我们会到达一个农场或一个村庄或是一座桥。”